A Rust Shaped Hole
mnvr.in·21h·
Discuss: Hacker News
🦀Rust Macros
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.org·4h
🌀Brotli Internals
Re-implementing the Nix protocol in Rust
tweag.io·1d·
Discuss: Hacker News
📋Format Specification
Cactus Language • Stylistics 4
inquiryintoinquiry.com·17h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
YAML Guide For Beginners: Learn YAML In 10 Minutes
dev.to·17h·
Discuss: DEV
✅Format Verification
Bazel Knowledge: Beyond _deploy.jar for OCI images
fzakaria.com·4h
🔌Interface Evolution
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·18h
🦀Rust Verification
Working with Rust is super fun coming from C++
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
A distributed systems reliability glossary
antithesis.com·17h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Building Robust Filesystem Interactions in Rust
tangramvision.com·12h·
Discuss: Hacker News
📂Directory Synchronization
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·15h
🎯Gradual Typing
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·17h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·18h·
Discuss: Hacker News
🔐CBOR
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·9h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust